退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于SAT的ACTL公式表征的模型检查⋆
Wenhui Zhang;
机译:ACTL公式的线性模板及其在基于SAT的验证中的应用
机译:基于SAT的加权解释系统的有界模型检查。
机译:基于SAT的模型检查的反导插值生成算法
机译:基于SAT的ACTL公式表征的模型检查
机译:在SAFER案例研究中开发和评估了公式编辑器(一种基于工具的方法来增强软件产品线模型检查中的可重用性)。
机译:使用贴纸自动机模型检查时间逻辑公式
机译:基于saT的aCTL特性有界模型检验评估*
机译:基于BDD特征的优化模型检测
机译:基于SAT的高效无界符号模型检查
机译:高效的分布式SAT和基于SAT的分布式有界模型检查
机译:高效分布式SAT和基于SAT的分布式有界模型检验
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。